Minimal Knowledge Approach to Reasoning about Actions and Sensing

We present an autoepistemic approach for rea soning about actions in the presence of incom plete information and sensing Speci cally we introduce a logical formalism that combines a very expressive logic of programs the modal mu calculus with a minimal knowledge modal ity We show that reasoning in such a formal ism can be done by integrating model checking for modal mu calculus and propositional infer ence This allows for exploiting existing model checking techniques and systems for sophisti cated forms of reasoning about actions without renouncing to deal with incomplete information about the dynamic system